Prolog IV : langage et algorithmes
نویسندگان
چکیده
normes ISO, les contraintes e ´tant introduites grâce a ` des prédicats prédéfinis. Les prétentions de ce papier se limitent a ` présenter un premier apperçu informel mais complet du langage, de ses possibilités et des algorithmes de résolution de contraintes sous-jacents.
منابع مشابه
EDA : algorithme de désuffixation du langage médical
Pour améliorer l'efficacité des algorithmes de classification, il existe plusieurs algorithmes de préparation des données, dont la désuffixation. Cependant, le langage médical, et les comptes rendus hospitaliers sont rédigés dans un langage très technique, avec peu de formes flexionnelles. Nous nous sommes demandés si l'implémentation d'un algorithme de désuffixation dans ce contexte pouvait am...
متن کامل726 Relacs for Systolic Programming
The ReLaCS language is a systolic programming language, which simpliies the programmer's task by making explicit the data-ow of systolic algorithms, and by exposing the data delivery mechanism. The underlying architecture model is diierent from other SIMD architectures in that it physically separates computation and data management. We introduce the ReLaCS language as a syntaxic and a semantic ...
متن کاملParallel efficient algorithms and their programming. Fundation of ATHAPASCAN-1
2 Ce rapport contient les deux premiers chapitres du tutoriel " Parallel Computer Algebra " donné au colloque annuel de calcul formel ISSAC (Juillet 97, Hawaii) par Jean-Louis Roch et Gilles Vil-lard. Il décrit les bases pour la construction, l'analyse et la programmation d'algorithmesparalì eles sur des architectures distribuées. Utilisant les techniquesà la base de l'algorithmiqueparalì ele s...
متن کاملI S a P U B L I C a T I O N I N T E R N E N O I R I S a Imagining Clp(, )
We study under which conditions the domain of-terms (() and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP((,) must be close to Prolog. ...
متن کاملImagining Clp(, ) Imagining Clp(, )
We study under which conditions the domain of-terms (() and the equality theory of the-calculus () form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom , and the formula language must depart from Horn clauses and accept universal quantiications and implications in goals. In short, CLP((,) must be close to Prolog. ...
متن کامل